[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 82 119 232 85 151 152 122

N.S.

1 1.00 0.66 0.96 1.87 0.69 1.22 1.23 0.98

time (sec)

N/A 0.276 0.143 0.135 0.205 0.255 0.326 0.470 1.842

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 65 94 196 67 117 116 92

N.S.

1 1.00 0.69 1.00 2.09 0.71 1.24 1.23 0.98

time (sec)

N/A 0.167 0.127 0.125 0.212 0.271 0.269 0.472 1.810

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 45 73 160 48 82 79 62

N.S.

1 1.00 0.70 1.14 2.50 0.75 1.28 1.23 0.97

time (sec)

N/A 0.085 0.106 0.085 0.208 0.270 0.217 0.503 1.747

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 27 37 68 30 46 46 35

N.S.

1 1.00 0.96 1.32 2.43 1.07 1.64 1.64 1.25

time (sec)

N/A 0.016 0.057 0.063 0.209 0.244 0.165 0.610 0.078

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 39 52 97 54 39 47 0

N.S.

1 1.00 1.39 1.86 3.46 1.93 1.39 1.68 0.00

time (sec)

N/A 0.118 0.060 0.111 0.270 0.259 1.478 0.493 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 59 75 82 76 0 72 0

N.S.

1 1.00 1.26 1.60 1.74 1.62 0.00 1.53 0.00

time (sec)

N/A 0.171 0.137 0.116 0.286 0.246 0.000 0.366 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 78 137 66 116 0 134 0

N.S.

1 1.00 0.89 1.56 0.75 1.32 0.00 1.52 0.00

time (sec)

N/A 0.227 0.156 0.115 0.251 0.250 0.000 0.575 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 110 204 78 143 0 199 0

N.S.

1 1.00 0.83 1.55 0.59 1.08 0.00 1.51 0.00

time (sec)

N/A 0.259 0.226 0.131 0.255 0.240 0.000 0.374 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 140 269 82 161 0 266 0

N.S.

1 1.00 0.84 1.62 0.49 0.97 0.00 1.60 0.00

time (sec)

N/A 0.298 0.266 0.143 0.279 0.252 0.000 0.311 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 184 100 134 329 127 228 236 168

N.S.

1 1.00 0.54 0.73 1.79 0.69 1.24 1.28 0.91

time (sec)

N/A 0.278 0.150 0.301 0.197 0.251 0.340 0.341 0.170

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 87 108 275 95 172 171 125

N.S.

1 1.00 0.65 0.81 2.05 0.71 1.28 1.28 0.93

time (sec)

N/A 0.167 0.127 0.218 0.193 0.253 0.261 0.282 1.832

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 56 77 135 64 112 112 82

N.S.

1 1.00 1.14 1.57 2.76 1.31 2.29 2.29 1.67

time (sec)

N/A 0.041 0.095 0.180 0.190 0.246 0.205 0.289 1.786

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 51 121 175 94 73 113 0

N.S.

1 1.00 0.82 1.95 2.82 1.52 1.18 1.82 0.00

time (sec)

N/A 0.138 0.162 0.217 0.276 0.252 1.662 0.283 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 62 124 136 122 0 119 0

N.S.

1 1.00 0.89 1.77 1.94 1.74 0.00 1.70 0.00

time (sec)

N/A 0.203 0.171 0.192 0.286 0.255 0.000 0.275 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 93 186 126 153 0 181 0

N.S.

1 1.00 0.77 1.54 1.04 1.26 0.00 1.50 0.00

time (sec)

N/A 0.264 0.255 0.237 0.303 0.245 0.000 0.280 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 172 154 292 117 194 0 285 0

N.S.

1 1.00 0.90 1.70 0.68 1.13 0.00 1.66 0.00

time (sec)

N/A 0.321 0.290 0.229 0.290 0.259 0.000 0.275 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 248 206 400 128 231 0 395 0

N.S.

1 1.00 0.83 1.61 0.52 0.93 0.00 1.59 0.00

time (sec)

N/A 0.394 0.338 0.206 0.295 0.243 0.000 0.269 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 219 159 442 437 236 0 407 0

N.S.

1 1.00 0.73 2.02 2.00 1.08 0.00 1.86 0.00

time (sec)

N/A 0.386 0.402 0.313 0.263 0.250 0.000 0.274 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 118 292 328 190 0 256 0

N.S.

1 1.00 0.79 1.95 2.19 1.27 0.00 1.71 0.00

time (sec)

N/A 0.249 0.271 0.239 0.259 0.258 0.000 0.293 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 89 184 233 156 0 148 0

N.S.

1 1.00 0.89 1.84 2.33 1.56 0.00 1.48 0.00

time (sec)

N/A 0.194 0.190 0.223 0.234 0.252 0.000 0.457 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 64 114 156 118 0 83 0

N.S.

1 1.00 0.94 1.68 2.29 1.74 0.00 1.22 0.00

time (sec)

N/A 0.134 0.089 0.185 0.232 0.252 0.000 0.293 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 49 81 57 95 0 56 0

N.S.

1 1.00 0.96 1.59 1.12 1.86 0.00 1.10 0.00

time (sec)

N/A 0.059 0.060 0.157 0.218 0.255 0.000 0.276 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 63 108 155 123 0 75 0

N.S.

1 1.00 0.86 1.48 2.12 1.68 0.00 1.03 0.00

time (sec)

N/A 0.217 0.095 0.230 0.257 0.252 0.000 0.355 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 101 155 192 179 0 129 0

N.S.

1 1.00 0.89 1.37 1.70 1.58 0.00 1.14 0.00

time (sec)

N/A 0.265 0.257 0.251 0.304 0.249 0.000 0.265 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 190 178 281 242 275 0 248 0

N.S.

1 1.00 0.94 1.48 1.27 1.45 0.00 1.31 0.00

time (sec)

N/A 0.360 0.314 0.265 0.322 0.257 0.000 0.274 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 231 173 669 406 371 0 2979 0

N.S.

1 1.00 0.75 2.90 1.76 1.61 0.00 12.90 0.00

time (sec)

N/A 0.403 0.767 0.287 0.294 0.262 0.000 0.330 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 182 156 549 312 333 0 1991 0

N.S.

1 1.00 0.86 3.02 1.71 1.83 0.00 10.94 0.00

time (sec)

N/A 0.317 0.591 0.204 0.276 0.255 0.000 0.330 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 115 436 236 274 0 1308 0

N.S.

1 1.00 0.78 2.97 1.61 1.86 0.00 8.90 0.00

time (sec)

N/A 0.300 0.493 0.242 0.270 0.266 0.000 0.302 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 97 294 178 200 0 994 0

N.S.

1 1.00 0.78 2.35 1.42 1.60 0.00 7.95 0.00

time (sec)

N/A 0.214 0.318 0.197 0.263 0.254 0.000 0.310 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 65 132 81 149 0 615 0

N.S.

1 1.00 0.92 1.86 1.14 2.10 0.00 8.66 0.00

time (sec)

N/A 0.082 0.155 0.234 0.241 0.247 0.000 0.308 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 139 254 227 270 0 1329 0

N.S.

1 1.00 0.93 1.69 1.51 1.80 0.00 8.86 0.00

time (sec)

N/A 0.309 0.862 0.265 0.309 0.252 0.000 0.305 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 186 183 312 0 377 0 3353 0

N.S.

1 1.00 0.98 1.68 0.00 2.03 0.00 18.03 0.00

time (sec)

N/A 0.389 0.916 0.239 0.000 0.264 0.000 0.328 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 264 236 1055 0 566 0 879 0

N.S.

1 1.00 0.89 4.00 0.00 2.14 0.00 3.33 0.00

time (sec)

N/A 0.448 0.627 0.357 0.000 0.256 0.000 0.271 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 241 153 917 0 475 0 741 0

N.S.

1 1.00 0.63 3.80 0.00 1.97 0.00 3.07 0.00

time (sec)

N/A 0.388 0.648 0.277 0.000 0.277 0.000 0.316 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 158 435 0 373 0 529 0

N.S.

1 1.00 0.89 2.44 0.00 2.10 0.00 2.97 0.00

time (sec)

N/A 0.257 0.417 0.263 0.000 0.253 0.000 0.276 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 88 276 95 253 0 298 0

N.S.

1 1.00 0.85 2.65 0.91 2.43 0.00 2.87 0.00

time (sec)

N/A 0.102 0.363 0.219 0.221 0.244 0.000 0.270 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 262 451 488 0 601 0 837 0

N.S.

1 1.00 1.72 1.86 0.00 2.29 0.00 3.19 0.00

time (sec)

N/A 0.422 0.875 0.325 0.000 0.295 0.000 0.279 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 298 541 643 0 762 0 1006 0

N.S.

1 1.00 1.82 2.16 0.00 2.56 0.00 3.38 0.00

time (sec)

N/A 0.557 0.995 0.364 0.000 0.260 0.000 0.271 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

377 377 627 760 0 892 0 1169 0

N.S.

1 1.00 1.66 2.02 0.00 2.37 0.00 3.10 0.00

time (sec)

N/A 0.652 1.150 0.353 0.000 0.267 0.000 0.275 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 92 135 250 95 168 174 116

N.S.

1 1.00 0.66 0.97 1.80 0.68 1.21 1.25 0.83

time (sec)

N/A 0.185 0.127 0.119 0.187 0.258 0.423 0.266 0.168

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 74 117 214 78 134 138 93

N.S.

1 1.00 0.68 1.07 1.96 0.72 1.23 1.27 0.85

time (sec)

N/A 0.143 0.079 0.111 0.190 0.254 0.357 0.258 1.598

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 57 86 213 60 99 101 70

N.S.

1 1.00 0.72 1.09 2.70 0.76 1.25 1.28 0.89

time (sec)

N/A 0.085 0.061 0.081 0.187 0.251 0.249 0.263 1.683

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 40 63 86 42 65 70 47

N.S.

1 1.00 0.78 1.24 1.69 0.82 1.27 1.37 0.92

time (sec)

N/A 0.054 0.039 0.070 0.183 0.247 0.189 0.272 1.658

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 55 81 122 73 49 76 0

N.S.

1 1.00 1.34 1.98 2.98 1.78 1.20 1.85 0.00

time (sec)

N/A 0.080 0.069 0.080 0.232 0.245 1.653 0.274 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 42 83 80 82 0 80 0

N.S.

1 1.00 1.00 1.98 1.90 1.95 0.00 1.90 0.00

time (sec)

N/A 0.078 0.051 0.084 0.230 0.244 0.000 0.265 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 80 112 90 107 0 109 0

N.S.

1 1.00 1.08 1.51 1.22 1.45 0.00 1.47 0.00

time (sec)

N/A 0.127 0.101 0.090 0.265 0.248 0.000 0.264 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 95 175 73 127 0 170 0

N.S.

1 1.00 0.90 1.67 0.70 1.21 0.00 1.62 0.00

time (sec)

N/A 0.197 0.141 0.104 0.254 0.249 0.000 0.274 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 127 240 76 152 0 237 0

N.S.

1 1.00 0.85 1.61 0.51 1.02 0.00 1.59 0.00

time (sec)

N/A 0.220 0.167 0.101 0.243 0.260 0.000 0.265 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 234 138 202 383 155 286 304 182

N.S.

1 1.00 0.59 0.86 1.64 0.66 1.22 1.30 0.78

time (sec)

N/A 0.261 0.207 0.263 0.191 0.242 0.572 0.268 1.786

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 184 113 155 353 126 226 239 148

N.S.

1 1.00 0.61 0.84 1.92 0.68 1.23 1.30 0.80

time (sec)

N/A 0.209 0.143 0.240 0.190 0.250 0.440 0.267 1.731

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 85 117 189 98 172 180 114

N.S.

1 1.00 0.62 0.86 1.39 0.72 1.26 1.32 0.84

time (sec)

N/A 0.141 0.122 0.231 0.198 0.269 0.342 0.271 0.127

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 82 226 235 130 121 222 0

N.S.

1 1.00 0.75 2.05 2.14 1.18 1.10 2.02 0.00

time (sec)

N/A 0.142 0.279 0.216 0.260 0.252 1.842 0.267 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 95 200 179 127 0 197 0

N.S.

1 1.00 1.00 2.11 1.88 1.34 0.00 2.07 0.00

time (sec)

N/A 0.123 0.194 0.263 0.256 0.251 0.000 0.269 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 97 209 165 164 0 206 0

N.S.

1 1.00 0.85 1.83 1.45 1.44 0.00 1.81 0.00

time (sec)

N/A 0.164 0.266 0.225 0.282 0.251 0.000 0.274 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 114 241 135 171 0 236 0

N.S.

1 1.00 0.86 1.81 1.02 1.29 0.00 1.77 0.00

time (sec)

N/A 0.190 0.268 0.255 0.262 0.249 0.000 0.264 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 175 124 299 139 194 0 294 0

N.S.

1 1.00 0.71 1.71 0.79 1.11 0.00 1.68 0.00

time (sec)

N/A 0.249 0.341 0.238 0.278 0.239 0.000 0.274 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

273 273 276 369 0 605 0 0 0

N.S.

1 1.00 1.01 1.35 0.00 2.22 0.00 0.00 0.00

time (sec)

N/A 0.574 1.079 0.327 0.000 0.266 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 209 268 0 502 0 0 0

N.S.

1 1.00 1.00 1.28 0.00 2.40 0.00 0.00 0.00

time (sec)

N/A 0.279 1.395 0.217 0.000 0.257 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

226 226 221 259 0 496 0 0 0

N.S.

1 1.00 0.98 1.15 0.00 2.19 0.00 0.00 0.00

time (sec)

N/A 0.286 0.328 0.244 0.000 0.261 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 177 155 200 0 219 0 0 0

N.S.

1 1.00 0.88 1.13 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.179 0.203 0.179 0.000 0.249 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 213 166 212 0 316 0 0 0

N.S.

1 1.00 0.78 1.00 0.00 1.48 0.00 0.00 0.00

time (sec)

N/A 0.189 0.318 0.261 0.000 0.263 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 197 173 227 0 249 0 0 0

N.S.

1 1.00 0.88 1.15 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.294 0.288 0.256 0.000 0.259 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 249 243 288 0 599 0 0 0

N.S.

1 1.00 0.98 1.16 0.00 2.41 0.00 0.00 0.00

time (sec)

N/A 0.394 0.693 0.220 0.000 0.271 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 270 232 330 0 583 0 0 0

N.S.

1 1.00 0.86 1.22 0.00 2.16 0.00 0.00 0.00

time (sec)

N/A 0.398 0.801 0.285 0.000 0.283 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

449 449 307 1038 0 1179 0 0 0

N.S.

1 1.00 0.68 2.31 0.00 2.63 0.00 0.00 0.00

time (sec)

N/A 0.656 2.265 0.425 0.000 0.269 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

431 431 290 903 0 931 0 0 0

N.S.

1 1.00 0.67 2.10 0.00 2.16 0.00 0.00 0.00

time (sec)

N/A 0.513 1.460 0.304 0.000 0.279 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

416 416 287 901 0 1162 0 0 0

N.S.

1 1.00 0.69 2.17 0.00 2.79 0.00 0.00 0.00

time (sec)

N/A 0.476 2.067 0.254 0.000 0.273 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 239 236 449 0 641 0 0 0

N.S.

1 1.00 0.99 1.88 0.00 2.68 0.00 0.00 0.00

time (sec)

N/A 0.266 0.817 0.228 0.000 0.254 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

476 476 293 503 0 1162 0 0 0

N.S.

1 1.00 0.62 1.06 0.00 2.44 0.00 0.00 0.00

time (sec)

N/A 0.696 1.591 0.273 0.000 0.352 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

435 435 415 546 0 992 0 0 0

N.S.

1 1.00 0.95 1.26 0.00 2.28 0.00 0.00 0.00

time (sec)

N/A 0.667 0.840 0.277 0.000 0.269 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

500 500 334 595 0 1310 0 0 0

N.S.

1 1.00 0.67 1.19 0.00 2.62 0.00 0.00 0.00

time (sec)

N/A 0.985 2.145 0.322 0.000 0.294 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

476 476 332 1547 0 1620 0 0 0

N.S.

1 1.00 0.70 3.25 0.00 3.40 0.00 0.00 0.00

time (sec)

N/A 0.808 1.057 0.549 0.000 0.290 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

746 746 380 2172 0 2047 0 0 0

N.S.

1 1.00 0.51 2.91 0.00 2.74 0.00 0.00 0.00

time (sec)

N/A 0.901 2.734 0.358 0.000 0.280 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

512 512 325 1503 0 1607 0 0 0

N.S.

1 1.00 0.63 2.94 0.00 3.14 0.00 0.00 0.00

time (sec)

N/A 0.660 1.017 0.307 0.000 0.264 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

856 856 392 1064 0 2116 0 0 0

N.S.

1 1.00 0.46 1.24 0.00 2.47 0.00 0.00 0.00

time (sec)

N/A 0.976 2.868 0.285 0.000 0.291 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

730 730 674 1090 0 2076 0 0 0

N.S.

1 1.00 0.92 1.49 0.00 2.84 0.00 0.00 0.00

time (sec)

N/A 1.233 1.601 0.379 0.000 0.287 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

874 874 613 1178 0 2346 0 0 0

N.S.

1 1.00 0.70 1.35 0.00 2.68 0.00 0.00 0.00

time (sec)

N/A 2.042 3.867 0.465 0.000 0.291 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

791 791 438 1294 0 2363 0 0 0

N.S.

1 1.00 0.55 1.64 0.00 2.99 0.00 0.00 0.00

time (sec)

N/A 1.344 1.845 0.488 0.000 0.298 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 100 153 268 105 185 192 152

N.S.

1 1.00 0.65 0.99 1.74 0.68 1.20 1.25 0.99

time (sec)

N/A 0.205 0.136 0.122 0.180 0.247 0.559 0.264 1.692

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 84 129 267 87 151 156 122

N.S.

1 1.00 0.68 1.04 2.15 0.70 1.22 1.26 0.98

time (sec)

N/A 0.163 0.096 0.107 0.208 0.248 0.431 0.258 1.662

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 66 104 196 68 116 119 92

N.S.

1 1.00 0.70 1.11 2.09 0.72 1.23 1.27 0.98

time (sec)

N/A 0.109 0.073 0.099 0.200 0.253 0.324 0.256 1.578

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 49 81 104 53 82 88 65

N.S.

1 1.00 0.74 1.23 1.58 0.80 1.24 1.33 0.98

time (sec)

N/A 0.075 0.055 0.072 0.174 0.240 0.245 0.257 0.102

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 49 113 140 86 66 109 0

N.S.

1 1.00 0.88 2.02 2.50 1.54 1.18 1.95 0.00

time (sec)

N/A 0.090 0.112 0.066 0.233 0.256 1.666 0.258 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 55 114 102 90 0 111 0

N.S.

1 1.00 1.00 2.07 1.85 1.64 0.00 2.02 0.00

time (sec)

N/A 0.090 0.082 0.085 0.227 0.242 0.000 0.261 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 86 119 87 101 0 118 0

N.S.

1 1.00 1.25 1.72 1.26 1.46 0.00 1.71 0.00

time (sec)

N/A 0.097 0.091 0.083 0.225 0.258 0.000 0.260 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 73 146 95 118 0 141 0

N.S.

1 1.00 0.80 1.60 1.04 1.30 0.00 1.55 0.00

time (sec)

N/A 0.148 0.162 0.080 0.273 0.241 0.000 0.263 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 234 139 206 383 161 284 303 301

N.S.

1 1.00 0.59 0.88 1.64 0.69 1.21 1.29 1.29

time (sec)

N/A 0.268 0.201 0.322 0.216 0.263 0.794 0.256 0.361

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 186 111 159 243 130 226 244 182

N.S.

1 1.00 0.60 0.85 1.31 0.70 1.22 1.31 0.98

time (sec)

N/A 0.216 0.135 0.236 0.205 0.244 0.589 0.265 0.244

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 160 108 303 289 161 168 331 0

N.S.

1 1.00 0.68 1.89 1.81 1.01 1.05 2.07 0.00

time (sec)

N/A 0.201 0.315 0.236 0.263 0.244 2.392 0.266 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 143 306 235 160 0 308 0

N.S.

1 1.00 1.00 2.14 1.64 1.12 0.00 2.15 0.00

time (sec)

N/A 0.201 0.259 0.247 0.261 0.242 0.000 0.264 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 136 281 203 161 0 280 0

N.S.

1 1.00 0.96 1.99 1.44 1.14 0.00 1.99 0.00

time (sec)

N/A 0.161 0.249 0.275 0.238 0.256 0.000 0.263 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 135 284 188 187 0 279 0

N.S.

1 1.00 0.90 1.89 1.25 1.25 0.00 1.86 0.00

time (sec)

N/A 0.190 0.403 0.310 0.285 0.253 0.000 0.253 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 150 322 154 196 0 315 0

N.S.

1 1.00 0.90 1.93 0.92 1.17 0.00 1.89 0.00

time (sec)

N/A 0.226 0.403 0.347 0.276 0.263 0.000 0.264 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F(-1) B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

373 373 213 925 0 989 0 0 0

N.S.

1 1.00 0.57 2.48 0.00 2.65 0.00 0.00 0.00

time (sec)

N/A 0.708 0.152 0.308 0.000 0.296 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F(-1) B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

358 358 198 671 0 977 0 0 0

N.S.

1 1.00 0.55 1.87 0.00 2.73 0.00 0.00 0.00

time (sec)

N/A 0.495 0.109 0.205 0.000 0.272 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

283 283 170 423 0 500 0 0 0

N.S.

1 1.00 0.60 1.49 0.00 1.77 0.00 0.00 0.00

time (sec)

N/A 0.321 5.045 0.188 0.000 0.268 0.000 0.000 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F(-1) B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

345 345 180 280 0 671 0 0 0

N.S.

1 1.00 0.52 0.81 0.00 1.94 0.00 0.00 0.00

time (sec)

N/A 0.296 5.052 0.234 0.000 0.277 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F(-1) B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

345 345 180 143 0 673 0 0 0

N.S.

1 1.00 0.52 0.41 0.00 1.95 0.00 0.00 0.00

time (sec)

N/A 0.289 5.049 0.186 0.000 0.270 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

303 303 186 138 0 530 0 0 0

N.S.

1 1.00 0.61 0.46 0.00 1.75 0.00 0.00 0.00

time (sec)

N/A 0.351 0.151 0.272 0.000 0.265 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F(-1) B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

381 381 215 175 0 1154 0 0 0

N.S.

1 1.00 0.56 0.46 0.00 3.03 0.00 0.00 0.00

time (sec)

N/A 0.444 0.211 0.254 0.000 0.284 0.000 0.000 0.000

[next] [front] [up]